Auflistung nach Schlagwort "Problem solving"

Sortiert nach: Sortierung: Ergebnisse:

  • Decidability of predicate logics with team semantics 
    Kontinen, Juha; Kuusisto, Antti; Virtema, Jonni (Saarbrücken : Dagstuhl Publishing, 2016)
    We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIMEcomplete. Furthermore, we show that the ...
  • An overlapping additive Schwarz preconditioner for boundary element approximations to the Laplace screen and Lamé crack problems 
    Tran, T.; Stephan, E.P. (Berlin : De Gruyter, 2004)
    We study a two-level overlapping additive Schwarz preconditioner for the h-version of the Galerkin boundary element method when used to solve hypersingular integral equations of the first kind on an open surface in ℝ3. ...
  • Triangle density and contractibility 
    Kriesell, Matthias (Cambridge : Cambridge University Press, 2005)
    Let G be a noncomplete k -connected graph such that the graphs obtained from contracting any edge in G are not k-connected, and let t(G) denote the number of triangles in G. Thomassen proved t(G) ≥ 1, which was later ...